<div id="options">
	<?php echo button_to('Nuevo Tipo de Artículo', 'tiposarticulos/new') ?>
</div>
